Optimal. Leaf size=180 \[ -\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (e (2 A e+5 B d)+23 C d^2\right )}{35 d^2 e^3 (d+e x)^4}-\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (A e^2-B d e+C d^2\right )}{7 d e^3 (d+e x)^5}-\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (e (2 A e+5 B d)+23 C d^2\right )}{105 d^3 e^3 (d+e x)^3}+\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.21, antiderivative size = 180, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {1639, 793, 659, 651} \[ -\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (e (2 A e+5 B d)+23 C d^2\right )}{105 d^3 e^3 (d+e x)^3}-\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (e (2 A e+5 B d)+23 C d^2\right )}{35 d^2 e^3 (d+e x)^4}-\frac {\left (d^2-e^2 x^2\right )^{3/2} \left (A e^2-B d e+C d^2\right )}{7 d e^3 (d+e x)^5}+\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 651
Rule 659
Rule 793
Rule 1639
Rubi steps
\begin {align*} \int \frac {\left (A+B x+C x^2\right ) \sqrt {d^2-e^2 x^2}}{(d+e x)^5} \, dx &=\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4}+\frac {\int \frac {\left (e^2 \left (4 C d^2+A e^2\right )+e^3 (3 C d+B e) x\right ) \sqrt {d^2-e^2 x^2}}{(d+e x)^5} \, dx}{e^4}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \left (d^2-e^2 x^2\right )^{3/2}}{7 d e^3 (d+e x)^5}+\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4}+\frac {\left (23 C d^2+e (5 B d+2 A e)\right ) \int \frac {\sqrt {d^2-e^2 x^2}}{(d+e x)^4} \, dx}{7 d e^2}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \left (d^2-e^2 x^2\right )^{3/2}}{7 d e^3 (d+e x)^5}+\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4}-\frac {\left (23 C d^2+e (5 B d+2 A e)\right ) \left (d^2-e^2 x^2\right )^{3/2}}{35 d^2 e^3 (d+e x)^4}+\frac {\left (23 C d^2+e (5 B d+2 A e)\right ) \int \frac {\sqrt {d^2-e^2 x^2}}{(d+e x)^3} \, dx}{35 d^2 e^2}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \left (d^2-e^2 x^2\right )^{3/2}}{7 d e^3 (d+e x)^5}+\frac {C \left (d^2-e^2 x^2\right )^{3/2}}{e^3 (d+e x)^4}-\frac {\left (23 C d^2+e (5 B d+2 A e)\right ) \left (d^2-e^2 x^2\right )^{3/2}}{35 d^2 e^3 (d+e x)^4}-\frac {\left (23 C d^2+e (5 B d+2 A e)\right ) \left (d^2-e^2 x^2\right )^{3/2}}{105 d^3 e^3 (d+e x)^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.20, size = 109, normalized size = 0.61 \[ -\frac {(d-e x) \sqrt {d^2-e^2 x^2} \left (e \left (A e \left (23 d^2+10 d e x+2 e^2 x^2\right )+5 B d \left (d^2+5 d e x+e^2 x^2\right )\right )+C d^2 \left (2 d^2+10 d e x+23 e^2 x^2\right )\right )}{105 d^3 e^3 (d+e x)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.92, size = 320, normalized size = 1.78 \[ -\frac {2 \, C d^{6} + 5 \, B d^{5} e + 23 \, A d^{4} e^{2} + {\left (2 \, C d^{2} e^{4} + 5 \, B d e^{5} + 23 \, A e^{6}\right )} x^{4} + 4 \, {\left (2 \, C d^{3} e^{3} + 5 \, B d^{2} e^{4} + 23 \, A d e^{5}\right )} x^{3} + 6 \, {\left (2 \, C d^{4} e^{2} + 5 \, B d^{3} e^{3} + 23 \, A d^{2} e^{4}\right )} x^{2} + 4 \, {\left (2 \, C d^{5} e + 5 \, B d^{4} e^{2} + 23 \, A d^{3} e^{3}\right )} x + {\left (2 \, C d^{5} + 5 \, B d^{4} e + 23 \, A d^{3} e^{2} - {\left (23 \, C d^{2} e^{3} + 5 \, B d e^{4} + 2 \, A e^{5}\right )} x^{3} + {\left (13 \, C d^{3} e^{2} - 20 \, B d^{2} e^{3} - 8 \, A d e^{4}\right )} x^{2} + {\left (8 \, C d^{4} e + 20 \, B d^{3} e^{2} - 13 \, A d^{2} e^{3}\right )} x\right )} \sqrt {-e^{2} x^{2} + d^{2}}}{105 \, {\left (d^{3} e^{7} x^{4} + 4 \, d^{4} e^{6} x^{3} + 6 \, d^{5} e^{5} x^{2} + 4 \, d^{6} e^{4} x + d^{7} e^{3}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: TypeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 116, normalized size = 0.64 \[ -\frac {\left (-e x +d \right ) \left (2 A \,e^{4} x^{2}+5 B d \,e^{3} x^{2}+23 C \,d^{2} e^{2} x^{2}+10 A d \,e^{3} x +25 B \,d^{2} e^{2} x +10 C \,d^{3} e x +23 A \,d^{2} e^{2}+5 B \,d^{3} e +2 C \,d^{4}\right ) \sqrt {-e^{2} x^{2}+d^{2}}}{105 \left (e x +d \right )^{4} d^{3} e^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.54, size = 945, normalized size = 5.25 \[ -\frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{7 \, {\left (e^{7} x^{4} + 4 \, d e^{6} x^{3} + 6 \, d^{2} e^{5} x^{2} + 4 \, d^{3} e^{4} x + d^{4} e^{3}\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{35 \, {\left (d e^{6} x^{3} + 3 \, d^{2} e^{5} x^{2} + 3 \, d^{3} e^{4} x + d^{4} e^{3}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{105 \, {\left (d^{2} e^{5} x^{2} + 2 \, d^{3} e^{4} x + d^{4} e^{3}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{105 \, {\left (d^{3} e^{4} x + d^{4} e^{3}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B d}{7 \, {\left (e^{6} x^{4} + 4 \, d e^{5} x^{3} + 6 \, d^{2} e^{4} x^{2} + 4 \, d^{3} e^{3} x + d^{4} e^{2}\right )}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} B d}{35 \, {\left (d e^{5} x^{3} + 3 \, d^{2} e^{4} x^{2} + 3 \, d^{3} e^{3} x + d^{4} e^{2}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B d}{105 \, {\left (d^{2} e^{4} x^{2} + 2 \, d^{3} e^{3} x + d^{4} e^{2}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B d}{105 \, {\left (d^{3} e^{3} x + d^{4} e^{2}\right )}} + \frac {4 \, \sqrt {-e^{2} x^{2} + d^{2}} C d}{5 \, {\left (e^{6} x^{3} + 3 \, d e^{5} x^{2} + 3 \, d^{2} e^{4} x + d^{3} e^{3}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d}{15 \, {\left (d e^{5} x^{2} + 2 \, d^{2} e^{4} x + d^{3} e^{3}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d}{15 \, {\left (d^{2} e^{4} x + d^{3} e^{3}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} A}{7 \, {\left (e^{5} x^{4} + 4 \, d e^{4} x^{3} + 6 \, d^{2} e^{3} x^{2} + 4 \, d^{3} e^{2} x + d^{4} e\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} A}{35 \, {\left (d e^{4} x^{3} + 3 \, d^{2} e^{3} x^{2} + 3 \, d^{3} e^{2} x + d^{4} e\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} A}{105 \, {\left (d^{2} e^{3} x^{2} + 2 \, d^{3} e^{2} x + d^{4} e\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} A}{105 \, {\left (d^{3} e^{2} x + d^{4} e\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B}{5 \, {\left (e^{5} x^{3} + 3 \, d e^{4} x^{2} + 3 \, d^{2} e^{3} x + d^{3} e^{2}\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} B}{15 \, {\left (d e^{4} x^{2} + 2 \, d^{2} e^{3} x + d^{3} e^{2}\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} B}{15 \, {\left (d^{2} e^{3} x + d^{3} e^{2}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C}{3 \, {\left (e^{5} x^{2} + 2 \, d e^{4} x + d^{2} e^{3}\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} C}{3 \, {\left (d e^{4} x + d^{2} e^{3}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.67, size = 601, normalized size = 3.34 \[ \frac {B\,\sqrt {d^2-e^2\,x^2}}{21\,\left (d^3\,e^2+x\,d^2\,e^3\right )}-\frac {3\,B\,\sqrt {d^2-e^2\,x^2}}{7\,\left (d^3\,e^2+3\,d^2\,e^3\,x+3\,d\,e^4\,x^2+e^5\,x^3\right )}+\frac {2\,A\,\sqrt {d^2-e^2\,x^2}}{105\,\left (d^4\,e+2\,d^3\,e^2\,x+d^2\,e^3\,x^2\right )}+\frac {B\,\sqrt {d^2-e^2\,x^2}}{21\,\left (d^3\,e^2+2\,d^2\,e^3\,x+d\,e^4\,x^2\right )}-\frac {82\,C\,\sqrt {d^2-e^2\,x^2}}{105\,\left (d^2\,e^3+2\,d\,e^4\,x+e^5\,x^2\right )}+\frac {2\,A\,\sqrt {d^2-e^2\,x^2}}{105\,\left (d^4\,e+x\,d^3\,e^2\right )}+\frac {23\,C\,\sqrt {d^2-e^2\,x^2}}{105\,\left (d^2\,e^3+x\,d\,e^4\right )}-\frac {2\,A\,\sqrt {d^2-e^2\,x^2}}{7\,\left (d^4\,e+4\,d^3\,e^2\,x+6\,d^2\,e^3\,x^2+4\,d\,e^4\,x^3+e^5\,x^4\right )}+\frac {A\,\sqrt {d^2-e^2\,x^2}}{35\,\left (d^4\,e+3\,d^3\,e^2\,x+3\,d^2\,e^3\,x^2+d\,e^4\,x^3\right )}-\frac {2\,C\,d^2\,\sqrt {d^2-e^2\,x^2}}{7\,\left (d^4\,e^3+4\,d^3\,e^4\,x+6\,d^2\,e^5\,x^2+4\,d\,e^6\,x^3+e^7\,x^4\right )}+\frac {2\,B\,d\,\sqrt {d^2-e^2\,x^2}}{7\,\left (d^4\,e^2+4\,d^3\,e^3\,x+6\,d^2\,e^4\,x^2+4\,d\,e^5\,x^3+e^6\,x^4\right )}+\frac {29\,C\,d\,\sqrt {d^2-e^2\,x^2}}{35\,\left (d^3\,e^3+3\,d^2\,e^4\,x+3\,d\,e^5\,x^2+e^6\,x^3\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {- \left (- d + e x\right ) \left (d + e x\right )} \left (A + B x + C x^{2}\right )}{\left (d + e x\right )^{5}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________